1

Problems complete for deterministic logarithmic space

Year:
1987
Language:
english
File:
PDF, 569 KB
english, 1987
2

The many faces of a translation

Year:
2006
Language:
english
File:
PDF, 277 KB
english, 2006
4

Completeness results for graph isomorphism

Year:
2003
Language:
english
File:
PDF, 239 KB
english, 2003
5

Permutations of bounded degree generate groups of polynomial diameter

Year:
1984
Language:
english
File:
PDF, 177 KB
english, 1984
12

NondeterministicNC1Computation

Year:
1998
Language:
english
File:
PDF, 399 KB
english, 1998
13

Reversible Space Equals Deterministic Space

Year:
2000
Language:
english
File:
PDF, 168 KB
english, 2000
16

Parallel algorithms for solvable permutation groups

Year:
1988
Language:
english
File:
PDF, 1.62 MB
english, 1988
18

The complexity of Solitaire

Year:
2009
Language:
english
File:
PDF, 636 KB
english, 2009
19

Alternating and empty alternating auxiliary stack automata

Year:
2003
Language:
english
File:
PDF, 496 KB
english, 2003
20

Verifying identical communicating processes is undecidable

Year:
1997
Language:
english
File:
PDF, 932 KB
english, 1997
21

NC1: The automata-theoretic viewpoint

Year:
1991
Language:
english
File:
PDF, 1.95 MB
english, 1991
22

The complexity of tensor calculus

Year:
2002
Language:
english
File:
PDF, 359 KB
english, 2002
23

The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers

Year:
2007
Language:
english
File:
PDF, 404 KB
english, 2007
24

Incremental Branching Programs

Year:
2008
Language:
english
File:
PDF, 434 KB
english, 2008
25

Separation of the Monotone NC Hierarchy

Year:
1999
Language:
english
File:
PDF, 371 KB
english, 1999
27

Extensions to Barrington's M-program model

Year:
1993
Language:
english
File:
PDF, 2.32 MB
english, 1993
29

Special issue on circuit complexity: Foreword

Year:
1994
Language:
english
File:
PDF, 226 KB
english, 1994
30

Logspace and Logtime Leaf Languages

Year:
1996
Language:
english
File:
PDF, 611 KB
english, 1996
32

Oracle branching programs and Logspace versus P

Year:
1991
Language:
english
File:
PDF, 1.17 MB
english, 1991
34

A well-structured framework for analysing petri net extensions

Year:
2004
Language:
english
File:
PDF, 360 KB
english, 2004
37

The Parallel Complexity of Abelian Permutation Group Problems

Year:
1987
Language:
english
File:
PDF, 3.59 MB
english, 1987
38

Finite Monoids: From Word to Circuit Evaluation

Year:
1997
Language:
english
File:
PDF, 373 KB
english, 1997
39

Arithmetic Circuits and Polynomial Replacement Systems

Year:
2004
Language:
english
File:
PDF, 223 KB
english, 2004
40

Extensional Uniformity for Boolean Circuits

Year:
2010
Language:
english
File:
PDF, 327 KB
english, 2010
47

BOUNDED PARIKH AUTOMATA

Year:
2012
Language:
english
File:
PDF, 303 KB
english, 2012
48

UNAMBIGUOUS CONSTRAINED AUTOMATA

Year:
2013
Language:
english
File:
PDF, 279 KB
english, 2013